\documentclass{llncs}

\usepackage{ifthen}
\usepackage{amssymb, tabularx}
\usepackage{xcolor,xspace}
\usepackage{hyperref}
\usepackage{url}
\usepackage{pdfpages}
\usepackage{todonotes}
\usepackage{cite}

\newif\ifdraft\drafttrue

\ifdraft
   \newcommand\todos[1]{\todo[inline]{TODO (all): #1}}
   \newcommand\moussa[1]{\todo[color=green!40,inline]{TODO (Moussa): #1}}
   \newcommand\eugene[1]{\todo[color=yellow!40,inline]{TODO (Eugene): #1}}
   \newcommand\manuel[1]{\todo[color=blue!30,inline]{TODO (Manuel): #1}}
\else
   \newcommand\todos[1]{}
   \newcommand\moussa[1]{}
   \newcommand\eugene[1]{}
   \newcommand\manuel[1]{}
\fi

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Standard shortcuts
\newcommand{\eg}{\emph{e.g.,~}}							% exempli gratia (for the sake of example)
\newcommand{\ie}{\emph{i.e.,~}}							% id est (that is)
\newcommand{\etal}{~\emph{et al.}}					% et alia (and others)
\newcommand{\Fig}[1][Figure]{#1~}  					% choose Fig. or Figure, depending on the style
\newcommand{\Sect}[1][Section]{#1~}					% section name always with a capital S
\newcommand{\Model}[1]{\textsf{#1}}					% name of any modeling artifact (e.g., formalism, model element, rule, ...)
\newcommand{\Code}[1]{\texttt{\small{#1}}}	% inline code
\providecommand{\e}[1]{\ensuremath{\times 10^{#1}}}	% scientific notation: x.10^y
\newcommand{\VOLT}{\textsc{VolT}\xspace}
\newcommand{\MDD}{\textsc{Mdd}\xspace}
\newcommand{\MDE}{\textsc{Mde}\xspace}
\newcommand{\STAF}{\textsc{Staf}\xspace}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}

\mainmatter  % start of an individual contribution


\title{Verification Of Model Transformations\\
        VOLT 2015}

\author{Moussa Amrani\inst{1}, Eugene Syriani\inst{2}, and Manuel Wimmer\inst{3}}

\institute{
University of Namur, Belgium\\
\email{moussa.amrani@unamur.be}
\and
University of Montreal, Canada\\
\email{syriani@iro.umontreal.ca}
\and
Vienna University of Technology, Austria\\
\email{wimmer@big.tuwien.ac.at}
}

\maketitle

%\begin{abstract}
%\input{Summary}
%\end{abstract}

\input{General}
\input{Objectives_Scope}
\input{OrganisationDetails}
\input{WorkshopFormat}
\input{Additional}
\input{Date}
%\input{}
%\input{}
%\input{}
%\newpage
%\input{Theme}
%\input{Contacts}
%\input{Procedure}

\bibliographystyle{splncs03}
\bibliography{bibliography}

\appendix
\input{CfP}

\end{document}
